Richard E. Cutkosky

Richard E. Shope, 1936

Publications of E. Richard Weinerman, M.D.

Taming E ects with MonadicTyping 1 Richard

The familiar Hindley-Milner type system of the ML language family is extended with monad annotations to account for possible side eeects of expression evaluation. This also allows eeects to be eeectively encapsulated by lexical scopes, with enforcement provided by type checking. A type-and-eeects analysis supports type inference. Type soundness and completeness theorems establish the coherence ...

Richard E. Kerber, MD, 1939–2016

O n November 8, 2016, the greater medical community lost a visionary scientist, master clinician, a thoughtleader in echocardiography, and a pioneer in cardiac resuscitation. Richard E. Kerber will also be remembered as an accomplished clarinetist, opera aficionado, and avid bicyclist. He may be most remembered by the scores of cardiology trainees he mentored over his 20-year tenure as program ...

Centrosymmetric or Noncentrosymmetric?* BY RICHARD E. MARSH

In cases where diffraction data do not provide a clear choice between a centrosymmetric and a noncentrosymmetric space group, it is better to opt for the centrosymmetric description even though disorder may result. The disorder model implies that the crystal is a composite of two or more molecular structures that cannot be distinguished from one another. On the other hand, attempts to refine a ...